Fix 'make clean' when ioemu configuration failed.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/tools/Makefile b/tools/Makefile
index 41951d3fca44e936578b56852ee322b86324b514..2a66e89c27b6350977ba58eb15be579e06a1408d 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -61,10 +61,12 @@ check_clean:
 .PHONY: ioemu ioemuinstall ioemuclean
 ifdef CONFIG_IOEMU
 export IOEMU_DIR ?= ioemu
-ioemu ioemuinstall ioemuclean:
+ioemu ioemuinstall:
        [ -f $(IOEMU_DIR)/config-host.h ] || \
        (cd $(IOEMU_DIR) && sh configure --prefix=/usr)
        $(MAKE) -C $(IOEMU_DIR) $(patsubst ioemu%,%,$@)
+ioemuclean:
+       [ ! -f $(IOEMU_DIR)/config-host.h ] || $(MAKE) -C $(IOEMU_DIR) clean
 else
 ioemu ioemuinstall ioemuclean:
 endif